Epistemic Modelling and Protocol Dynamics

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO

It is far from obvious to find logical counterparts to crytographic protocol primitives. In logic, a common assumption is that agents are perfectly rational and have no computational limitations. This creates a dilemma. If one merely abstracts from computational aspects, protocols become trivial and the difference between tractable and intractable computation, surely an essential feature of pro...

Epistemic Dynamics and Protocol Information

One Hundred Prisoners and a Lightbulb - Logic and Computation

This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its...

DEMO — A Demo of Epistemic Modelling

This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic [22, 2, 3, 1] to PDL given in [17] and pres...

Mechanical System Modelling of Robot Dynamics Using a Mass/Pulley Model

The well-known electro-mechanical analogy that equates current, voltage, resistance, inductance and capacitance to force, velocity, damping, spring constant and mass has a shortcoming in that mass can only be used to simulate a capacitor which has one terminal connected to ground. A new model that was previously proposed by the authors that combines a mass with a pulley (MP) is shown to simulat...